Getting expert systems off the ground: Lessons learned from integrating model-based diagnostics with prototype flight hardware

As an initial attempt to introduce expert system technology into an onboard environment, a model based diagnostic system using the TRW MARPLE software tool was integrated with prototype flight hardware and its corresponding control software. Because this experiment was designed primarily to test the effectiveness of the model based reasoning technique used, the expert system ran on a separate hardware platform, and interactions between the control software and the model based diagnostics were limited. While this project met its objective of showing that model based reasoning can effectively isolate failures in flight hardware, it also identified the need for an integrated development path for expert system and control software for onboard applications. In developing expert systems that are ready for flight, artificial intelligence techniques must be evaluated to determine whether they offer a real advantage onboard, identify which diagnostic functions should be performed by the expert systems and which are better left to the procedural software, and work closely with both the hardware and the software developers from the beginning of a project to produce a well designed and thoroughly integrated application

Spacecraft command verification: The AI solution

Recently, a knowledge-based approach was used to develop a system called the Command Constraint Checker (CCC) for TRW. CCC was created to automate the process of verifying spacecraft command sequences. To check command files by hand for timing and sequencing errors is a time-consuming and error-prone task. Conventional software solutions were rejected when it was estimated that it would require 36 man-months to build an automated tool to check constraints by conventional methods. Using rule-based representation to model the various timing and sequencing constraints of the spacecraft, CCC was developed and tested in only three months. By applying artificial intelligence techniques, CCC designers were able to demonstrate the viability of AI as a tool to transform difficult problems into easily managed tasks. The design considerations used in developing CCC are discussed and the potential impact of this system on future satellite programs is examined

On-board fault management for autonomous spacecraft

The dynamic nature of the Cargo Transfer Vehicle's (CTV) mission and the high level of autonomy required mandate a complete fault management system capable of operating under uncertain conditions. Such a fault management system must take into account the current mission phase and the environment (including the target vehicle), as well as the CTV's state of health. This level of capability is beyond the scope of current on-board fault management systems. This presentation will discuss work in progress at TRW to apply artificial intelligence to the problem of on-board fault management. The goal of this work is to develop fault management systems. This presentation will discuss work in progress at TRW to apply artificial intelligence to the problem of on-board fault management. The goal of this work is to develop fault management systems that can meet the needs of spacecraft that have long-range autonomy requirements. We have implemented a model-based approach to fault detection and isolation that does not require explicit characterization of failures prior to launch. It is thus able to detect failures that were not considered in the failure and effects analysis. We have applied this technique to several different subsystems and tested our approach against both simulations and an electrical power system hardware testbed. We present findings from simulation and hardware tests which demonstrate the ability of our model-based system to detect and isolate failures, and describe our work in porting the Ada version of this system to a flight-qualified processor. We also discuss current research aimed at expanding our system to monitor the entire spacecraft

On the Matrix Equation XA + AX_T = 0

The matrix equation XA+AXT=0, which has relevance to the study of Lie algebras, was recently studied by De Terán and Dopico (Linear Algebra Appl. 434 (2011), 44–67). They reduced the study of this equation to several special cases and produced explicit solutions in most instances. In this note we obtain an explicit solution in one of the difficult cases, for which only the dimension of the solution space and an algorithm to find a basis of this space were known previousl

Determination of the Boltzmann constant by laser spectroscopy as a basis for future measurements of the thermodynamic temperature

In this paper, we present the latest results on the measurement of the Boltzmann constant kB, by laser spectroscopy of ammonia at 10 ?m. The Doppler absorption profile of a ro-vibrational line of an NH3 gas sample at thermal and pressure equilibrium is measured as accurately as possible. The absorption cell is placed inside a large 1m3 thermostat filled with an ice-water mixture, which sets the temperature very close to 273.15 K. Analysing this profile, which is related to the Maxwell-Boltzmann molecular speed distribution, leads to a determination of the Boltzmann constant via a measurement of the Doppler width (proportional tosqrt(kBT)). A spectroscopic determination of the Boltzmann constant with an uncertainty as low as 37 ppm is obtained. Recent improvements with a new passive thermostat lead to a temperature accuracy, stability and homogeneity of the absorption cell better than 1 ppm over a day

Measurement of the Boltzmann constant by the Doppler broadening technique at a 3,8x10-5 accuracy level

In this paper, we describe an experiment performed at the Laboratoire de Physique des Lasers and dedicated to an optical measurement of the Boltzmann constant. With the proposed innovative technique, determining comes down to an ordinary frequency measurement. The method consists in measuring as accurately as possible the Doppler absorption profile of a rovibrational line of ammonia in thermal equilibrium. This profile is related to the Maxwell-Boltzmann molecular velocity distribution along the laser beam. A fit of the absorption line shape leads to a determination of the Doppler width proportional to sqrt(kT) and thus to a determination of the Boltzmann constant. The laser source is an ultra-stable CO2 laser with a wavelength . The absorption cell is placed in a thermostat keeping the temperature at 273.15 K within 1.4 mK. We were able to measure with a relative uncertainty as small as 3.8x10-5, which represents an improvement of an order of magnitude for an integration time comparable to our previous measurement published in 2007 [1